;; Block A is on the table, block B on A and there is nothing on B.  A
;; water bucket, a brush, a A blue sprayer and a red paint can are on
;; the table and clear.  The goal is to for A to be colored ref and B
;; blue and the brush be clean. 

(define (problem 3)
  (:domain hw6)
  (:objects blockA blockB blockC 
		canRed canBlue canGreen 
		brush1 brush2 brush3
		)
  
  (:init (arm-empty)
        (on-table blockA) 
		(on blockB blockA) 
		(on blockC blockB) (clear blockC)

		(on-table canRed) (paint canRed red) 
		(on-table canGreen) (paint canGreen green) 
		(on-table canBlue) (paint canBlue blue) 
	
		(on-table brush1) (clean brush1) (clear brush1) (brush brush1)
		(on-table brush2) (clean brush2) (clear brush2) (brush brush2)
		(on-table brush3) (clean brush3) (clear brush3) (brush brush3)
	)
  
  (:goal (and (arm-empty)
              (color blockA red)
             	(color blockB green)
		(color blockC blue)
		(on-table blockC) 
		(on blockB blockC)
		(on blockA blockB)
              )))





